On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP

Source URL: drops.dagstuhl.de

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms Chan Le Duc1 and Myr

Source URL: ceur-ws.org

Size-Estimation Framework with Applications to Transitive Closure and Reachability∗ Edith Cohen AT&T Bell Laboratories Murray Hill, NJ 07974

Source URL: cohenwang.com

An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson

Source URL: www.cse.chalmers.se

Microsoft PowerPoint - IEEEBigData2013V5.ppt [Compatibility Mode]

Source URL: www.ischool.drexel.edu

• Data management
• Record linkage
• Crowdsourcing
• Transitive closure
• Data analysis
• Mathematics
• Science and technology
• Academia

Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics

Source URL: www.hermit-reasoner.com

• Mathematics
• Algebraic structures
• Transitive closure
• Ring

Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK

Source URL: homepages.inf.ed.ac.uk

• Non-classical logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• FO
• First-order logic
• Null
• Second-order logic
• Model theory
• Free logic
• Transitive closure

Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and

Source URL: www.cs.man.ac.uk

• Transitive closure
• FO
• Abox

Introduction to the Grok Language Ric Holt, 5 May 2002

Source URL: plg.uwaterloo.ca

• Mathematical logic
• Binary relation
• Grok Knowledge Base
• Transitive closure
• Function
• Equality
• FO
• Cartesian product
• Finitary relation
• Closure

Definitions and Motivations The Basic Algorithm A Piecewise Extension Conclusions Approximating the Transitive Closure of a

Source URL: impact.gforge.inria.fr